/* Benchmarks for the PionterC verifier. */

// array out-of bound error

/*@ */
void main()
{
  array[10, int] arr;
  
  arr[100] = 100;  // <===== error!! Out-of bound
  return;
}
/*@ */
